DTIC ADA169451: Survey and Examples of Specification Techniques for User-Computer Interfaces.
Bookreader Item Preview
Share or Embed This Item
texts
DTIC ADA169451: Survey and Examples of Specification Techniques for User-Computer Interfaces.
- Publication date
- 1986-04-30
- Topics
- DTIC Archive, Jacob,Robert J, NAVAL RESEARCH LAB WASHINGTON DC, *INTERFACES, *HUMAN FACTORS ENGINEERING, *USER NEEDS, COMPUTER PROGRAMS, SYSTEMS ENGINEERING, SPECIFICATIONS, MODULAR CONSTRUCTION, TRANSMITTANCE, SURVEYS, MILITARY APPLICATIONS, MESSAGE PROCESSING,
- Collection
- dticarchive; additional_collections
- Language
- English
Formal and semiformal specification techniques have been applied to many aspects of software systems. The module structure, the uses hierarchy, and the process structure of a system are examples of areas in which such techniques are useful; however, specification techniques have been less successful in describing the interface between a system and its user. This report provides a survey of techniques suitable for specifying the user interface of a system and a detailed discussion of the relevant literature. It also presents a collection of examples of the application of several representative specification techniques to a common set of examples to compare the relative merits of the techniques. Section 1 discusses reasons for specifying a user interface, criteria that such a specification should satisfy, and the application of user interface specification techniques to the Military Message System Project at the Naval Research Laboratory. Section 2 describes the principal specification techniques that have been used; nearly all of them are found to fall into one of two classes-those based on BNF and those based on state transmission diagrams. Section 3 provides a brief example to illustrate specifications of these two classes. Section 4 contains a detailed survey of the specification techniques and the ways in which they have been applied. Section 5 introduces the notation used in the examples of user interface specifications that follow; and Section 6 presents those specifications. Section 7 presents some conclusions. Keywords: Software engineering; Human factors. (Author)
- Addeddate
- 2018-02-08 17:11:39
- Foldoutcount
- 0
- Identifier
- DTIC_ADA169451
- Identifier-ark
- ark:/13960/t09w6xf2s
- Ocr_converted
- abbyy-to-hocr 1.1.37
- Ocr_module_version
- 0.0.21
- Page_number_confidence
- 66
- Page_number_module_version
- 1.0.3
- Pages
- 52
- Ppi
- 300
- Year
- 1986
comment
Reviews
There are no reviews yet. Be the first one to
write a review.
58 Views
DOWNLOAD OPTIONS
For users with print-disabilities
IN COLLECTIONS
Defense Technical Information Archive Additional CollectionsUploaded by chris85 on